Playing games with numbers

Playing Games with Timed Games

In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. Following the example of timed simulation between timed automata, we define timed alternating simulation as a preorder between timed game automata, which preserves controllability. We define a method to reduce the timed alternating simulation prob...

Let's stop playing with numbers.

correspondence correspondence I t is becoming increasingly fashionable to play with numbers, or letters representing numbers (for example, h and w), to measure the performance of a scientist or a scientific journal. Developing algorithms to calculate such numbers is becoming a science in itself, with each author claiming that his or her metrics measure better than others. The controversy will p...

Playing Games with Theorem Provers

The disciplines of Computer Game Playing and Automated Theorem Proving have a lot in common and insights to share. From huge search spaces to heuristics and evaluation function, from learning to domain analysis to competition, both of these areas of Artificial Intelligence have much to gain from each other. This paper describes the use of a logic based language to describe games and a game play...

Playing Games with Genetic Algorithms

In 1987 the first published research appeared which used the Genetic Algorithm as a means of seeking better strategies in playing the repeated Prisoner’s Dilemma. Since then the application of Genetic Algorithms to game-theoretical models has been used in many ways. To seek better strategies in historical oligopolistic interactions, to model economic learning, and to explore the support of coop...

Playing Games with the Law